In defense of compilation: A response to Davis' form and content in model-based reasoning

In a recent paper entitled 'Form and Content in Model Based Reasoning', Randy Davis argues that model based reasoning research aimed at compiling task specific rules from underlying device models is mislabeled, misguided, and diversionary. Some of Davis' claims are examined and his basic conclusions are challenged about the value of compilation research to the model based reasoning community. In particular, Davis' claim is refuted that model based reasoning is exempt from the efficiency benefits provided by knowledge compilation techniques. In addition, several misconceptions are clarified about the role of representational form in compilation. It is concluded that techniques have the potential to make a substantial contribution to solving tractability problems in model based reasoning

Building the Scientific Modeling Assistant: An interactive environment for specialized software design

The construction of scientific software models is an integral part of doing science, both within NASA and within the scientific community at large. Typically, model-building is a time-intensive and painstaking process, involving the design of very large, complex computer programs. Despite the considerable expenditure of resources involved, completed scientific models cannot easily be distributed and shared with the larger scientific community due to the low-level, idiosyncratic nature of the implemented code. To address this problem, we have initiated a research project aimed at constructing a software tool called the Scientific Modeling Assistant. This tool provides automated assistance to the scientist in developing, using, and sharing software models. We describe the Scientific Modeling Assistant, and also touch on some human-machine interaction issues relevant to building a successful tool of this type

Knowledge-intensive software design systems: Can too much knowledge be a burden?

While acknowledging the considerable benefits of domain-specific, knowledge-intensive approaches to automated software engineering, it is prudent to carefully examine the costs of such approaches, as well. In adding domain knowledge to a system, a developer makes a commitment to understanding, representing, maintaining, and communicating that knowledge. This substantial overhead is not generally associated with domain-independent approaches. In this paper, I examine the downside of incorporating additional knowledge, and illustrate with examples based on our experience in building the SIGMA system. I also offer some guidelines for developers building domain-specific systems

Applying knowledge compilation techniques to model-based reasoning

Researchers in the area of knowledge compilation are developing general purpose techniques for improving the efficiency of knowledge-based systems. In this article, an attempt is made to define knowledge compilation, to characterize several classes of knowledge compilation techniques, and to illustrate how some of these techniques can be applied to improve the performance of model-based reasoning systems

Volatiles beneath mid-ocean ridges: deep melting, channelised transport, focusing, and metasomatism

Deep-Earth volatile cycles couple the mantle with near-surface reservoirs. Volatiles are emitted by volcanism and, in particular, from mid-ocean ridges, which are the most prolific source of basaltic volcanism. Estimates of volatile extraction from the asthenosphere beneath ridges typically rely on measurements of undegassed lavas combined with simple petrogenetic models of the mean degree of melting. Estimated volatile fluxes have large uncertainties; this is partly due to a poor understanding of how volatiles are transported by magma in the asthenosphere. Here, we assess the fate of mantle volatiles through numerical simulations of melting and melt transport at mid-ocean ridges. Our simulations are based on two-phase, magma/mantle dynamics theory coupled to idealised thermodynamic model of mantle melting in the presence of water and carbon dioxide. We combine simulation results with catalogued observations of all ridge segments to estimate a range of likely volatile output from the global mid-ocean ridge system. We thus predict global MOR crust production of 66-73 Gt/yr (22-24 km3/yr) and global volatile output of 52-110 Mt/yr, corresponding to mantle volatile contents of 100--200~ppm. We find that volatile extraction is limited: up to half of deep, volatile-rich melt is not focused to the axis but is rather deposited along the LAB. As these distal melts crystallise and fractionate, they metasomatise the base of the lithosphere, creating rheological heterogeneity that could contribute to the seismic signature of the LAB.Comment: 42 pages; 8 figures; 2 appendices (incl 1 table); 7 suppl. figures; 1 suppl. tabl

User interface development and software environments : the Chiron-1 system

User interface development systems for software environments have to cope with the broad, extensible and dynamic character of such environments, must support internal and external integration, and should enable various software development strategies. The Chiron-1 system adapts and extends key ideas from current research in user interface development systems to address the particular demands of software environments. Important Chiron-1 concepts are: separation of concerns, dynamism, and open architecture. We discuss the requirements on such user interface development systems, present the Chiron-1 architecture and a scenario of its usage, detail the concepts it embodies, and report on its design and prototype implementation

Convertible Securities and Section 16(b): The persistent Problems of Purchase, Sale, and Debts Previously Contracted

In 1934, Congress enacted section 16(b) of the Securities Exchange Act in an effort to counteract the evils flowing from speculation in corporate securities by certain persons having information regarding the corporation\u27s affairs or occupying positions of trust which permit manipulation of corporate policies. In general, section 16(b) permits the issuer, or one or more stockholders acting in its behalf, to recover any short-swing profit realized from purchases and sales (or sales and purchases) of the issuer\u27s equity securities within a six-month period by directors, officers, or beneficial owners of more than ten per cent of any class of equity securities. Once these statutory conditions are satisfied, it is irrelevant that the insider did not actually make use of privileged information or, indeed, that he sold his stock for the corporation\u27s benefit and at its request